This is TeX, WAITS Version 2.1 (preloaded format=plain 87.2.17) 14 JUN 1987 19:51 **XP.TEX (XP.TEX[TEX,DEK] \bak=\box16 \bakk=\box17 \ind=\count25 [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] Output written on XP.DVI[TEX,DEK] (11 pages, 56748 bytes).